Existential quantification

Results: 55



#Item
41Grammar / Logic / Boolean algebra / Rhetoric / Negation / Auxiliary verb / Existential quantification / Mathematics / Linguistics / Semantics

Fun tions of Expli it Negation in German News Texts Alexandra Klein1 , Brigitte Krenn1 , and Harald Trost2 1 Austrian Resear h Institute for Arti ial Intelligen e (OFAI),

Add to Reading List

Source URL: www.ofai.at

Language: English - Date: 2011-09-05 10:28:40
42Propositional calculus / Predicate logic / Quantification / Function / First-order logic / Proposition / Universal quantification / Predicate / Existential quantification / Logic / Mathematical logic / Mathematics

Part Two: The Predicate Calculus 5

Add to Reading List

Source URL: lawandlogic.files.wordpress.com

Language: English - Date: 2012-10-07 12:08:38
43Philosophical logic / Philosophy / Existential graph / Science / Cognition / Or / Argent / Tincture / Pragmaticism / Charles Sanders Peirce / Logic / Semiotics

THE TINCTURES AND IMPLICIT QUANTIFICATION OVER WORLDS Jay Zeman … one must keep a bright lookout for unintended and unexpected changes thereby brought about in the relations of different significant parts of the diagram

Add to Reading List

Source URL: www.clas.ufl.edu

Language: English - Date: 2004-03-31 23:00:00
44Predicate logic / Semantics / Philosophy of language / First-order logic / Universal quantification / Second-order logic / Truth-value semantics / Existential quantification / Proposition / Logic / Mathematical logic / Quantification

30 For Michael Potter, ed., Mathematical Knowledge, Oxford University Press 2007 On Quantifying into Predicate Position: Steps towards a New(tralist) Perspective

Add to Reading List

Source URL: as.nyu.edu

Language: English - Date: 2007-05-09 19:53:00
45Semantics / Copula / Auxiliary verb / Logic / Linguistics / Quantification

The talk discusses existential quantification in Bura, a Central Chadic language, which has up to now not been subject to formal semantic analysis

Add to Reading List

Source URL: www.salt17.uconn.edu

Language: English - Date: 2007-03-06 22:45:32
46Semantics / Logic / Parts of speech / Grammar / Predicate / Preposition and postposition / Existential quantification / Adpositional phrase / Universal quantification / Linguistics / Quantification / Syntax

Non-Existential Indefinites and Semantic Incorporation of PP Complements Indefinites that appear as complements in prepositional phrases show some systematic variations in their interpretation, which to the best of our k

Add to Reading List

Source URL: www.salt17.uconn.edu

Language: English - Date: 2007-03-06 22:45:02
47Syllogism / Ai / Categorical proposition / Existential quantification / Critical thinking / Science / Traditional logic / Logic / Arguments

[removed]

Add to Reading List

Source URL: logic.sysu.edu.cn

Language: English - Date: 2011-03-22 17:26:36
48Quantification / Semantics / Boolean algebra / Syllogism / Categorical proposition / Existential quantification / Negation / FO / Inference / Logic / Mathematical logic / Traditional logic

Syllogistics = Monotonicity + Symmetry + Existential Import Jan van Eijck July 4, 2005

Add to Reading List

Source URL: homepages.cwi.nl

Language: English - Date: 2005-07-04 07:22:37
49Propositional calculus / Predicate logic / Universal quantification / First-order logic / Well-formed formula / Existential quantification / Negation / Intuitionistic logic / Proposition / Logic / Mathematical logic / Quantification

[removed]Supplementary Notes: Higher-Order Logic Robert Harper

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2005-01-05 16:58:46
50Propositional calculus / Functions and mappings / Semantics / Function / Proposition / Ordinal number / Modal logic / Negation / Existential quantification / Logic / Mathematics / Mathematical logic

Mathematical Logic as Based on the Theory of Types Bertrand Russell American Journal of Mathematics, Vol. 30, No. 3 (Jul., 1908), [removed].

Add to Reading List

Source URL: www.cfh.ufsc.br

Language: English - Date: 2009-03-04 08:57:27
UPDATE